• PARLOG

  • Referenced in 39 articles [sw23764]
  • sentence of predicate logic. It differs from PROLOG in incorporating parallel modes of evaluation...
  • FOIL

  • Referenced in 31 articles [sw24694]
  • construct theories expressed in a dialect of Prolog. This paper provides an overview...
  • B-Prolog

  • Referenced in 18 articles [sw06949]
  • Prolog is a high-performance implementation of the standard Prolog language with several extended features...
  • ARMC

  • Referenced in 28 articles [sw04949]
  • outcome of our investigation. Using a Prolog system together with Constraint Logic Programming extensions...
  • PAKCS

  • Referenced in 28 articles [sw13688]
  • high-level compilation of Curry programs into Prolog programs, it is not a toy implementation...
  • Centaur

  • Referenced in 19 articles [sw29541]
  • Lisp (Le_Lisp). The logical engine is Prolog (Mu-Prolog). The man-machine interface...
  • SETL

  • Referenced in 26 articles [sw36325]
  • bers are LISP, APL, SNOBOL, and PROLOG. These languages all aim to reduce the cost...
  • Qu-Prolog

  • Referenced in 15 articles [sw18583]
  • Multi-threading and message communication in Qu-Prolog. This paper presents the multi-threading ... internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package...
  • FPROLOG

  • Referenced in 14 articles [sw18491]
  • implementation of FPROLOG - a fuzzy PROLOG interpreter. One of the shortcomings of PROLOG, widely used ... replacing the conventional two-valued logic PROLOG is based upon, with fuzzy logic. In order ... greater flexibility to the system, the fuzzy PROLOG interpreter can be linked with the FRIL...
  • DEPAC

  • Referenced in 24 articles [sw32280]
  • design is to facilitate switching codes. The prologs for the three methods at present represented...
  • OPTYap

  • Referenced in 13 articles [sw13883]
  • logic programs. Logic programming languages, such as Prolog, provide a high-level, declarative approach ... productivity gains. It has been argued that Prolog’s evaluation strategy -- SLD resolution -- often limits ... have therefore seen widening efforts at increasing Prolog’s declarativeness and expressiveness. Tabling has proved ... OPTYap builds on Yap’s efficient sequential Prolog engine. Its execution model is based...
  • HYPROLOG

  • Referenced in 14 articles [sw02743]
  • present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented ... grammar notation provided by the underlying Prolog system. An operational semantics is given which complies ... avoid any level of metainterpretation by having Prolog execute the deductive steps directly...
  • THF0

  • Referenced in 14 articles [sw03310]
  • which has been maintained in THF0, is Prolog compatibility. This allows an annotated formula ... read with a single Prolog read/1 call, in the context of appropriate operator definitions. There ... good reasons for maintaining Prolog compatibility...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • present prototype they are compiled to PROLOG code, which is run to construct outputs. Second...
  • Lugares

  • Referenced in 19 articles [sw09861]
  • Lugares is a Windows program written in Prolog that offers a standard dynamic geometry environment...
  • ModLeanTAP

  • Referenced in 19 articles [sw12368]
  • Propositional Modal Logics. ModLeanTAP is a lean Prolog implementation of a modular labelled tableau calculus...
  • DASWAM

  • Referenced in 13 articles [sw04632]
  • DDAS) is a parallel execution scheme for Prolog that is designed to exploit independent ... dependent and-parallelism in full Prolog programs. In this paper, an overview of some techniques...
  • TABLEAUX

  • Referenced in 18 articles [sw11674]
  • system has been implemented in Prolog, and appears to be of reasonable efficiency for most...
  • Teyjus

  • Referenced in 17 articles [sw21364]
  • abstract machine based implementation of λ prolog. The logic programming language λProlog is based...
  • DLog

  • Referenced in 8 articles [sw09839]
  • Efficient description logic reasoning in Prolog: The DLog system. Traditional algorithms for Description Logic ... 𝒮ℋℐ𝒬 DL language, into a Prolog program under the unique name assumption. This transformation ... they are accessed dynamically during the normal Prolog execution of the generated program. This technique ... together with the top-down Prolog execution, implies that only those pieces of data...