「Prolog」の共起表現一覧(1語右で並び替え)

Prolog

1語右で並び替え

該当件数:68件

  • Prolog: a general purpose logic programming language.
  • Similarly to Prolog, ALF uses a backtracking strategy correspondin
  • It is related to both Prolog and Haskell.
  • ts in Standard ML, OCaml, Ada, Haskell, Visual Prolog and others.
  • G refers to the specific type of expression in Prolog and other similar languages; not all ways of e
  • It is possible to write Prolog applications that use Java foreign predicates
  • These extensions to Prolog are derived from the higher-order hereditary H
  • ey include logic programming languages such as Prolog as a special case.
  • Allegro CL includes an implementation of Prolog based on the implementation developed by Peter
  • It was initially called XSB Prolog, but its developers decided to drop the Prolog
  • small, portable, Object-oriented extension to Prolog by Margaret McDougall of EdCAAD, University of
  • Axon Idea Processor was written in Visual Prolog by Mr. Chan Bok from Singapore as a tool for c
  • es is an open-source software tool, written in Prolog by Gertjan van Noord, for creating, visualizin
  • The translation of DCTGs into normal Prolog clauses is like that of DCGs, but 3 arguments
  • ficial intelligence software and Windows-based Prolog compilers.
  • Prolog demonstrated that alternative programming mode
  • Originally, XSB was an extended version of SB Prolog, developed at Stony Brook.
  • it leaves out: the main examples are the query prolog, element and attribute constructors, the remai
  • fferences in Fril's implementation of standard Prolog features.
  • itten a tutorial on Program Analysis in lambda Prolog for the 1998 PLILP Conference.
  • The SEL compiler, written in Quintus Prolog, generates WAM-like code, extended to deal wit
  • After an incremental compiler for Prolog had been added to an implementation of POP-11,
  • Strawberry Prolog has a unique debugger.
  • gramming and functional programming (including Prolog, Haskell, and Erlang).
  • s a frame-based language combining objects and Prolog II from CNRS, Marseille, France.
  • PROLOG II, III, IV
  • lemented as a superset or add-on package for a Prolog implementation.
  • acking systems (such as AMB, or unification in Prolog), in which some alternatives may "fail," causi
  • Two other approaches to object-oriented Prolog include PDC Visual Prolog (once known as Borla
  • It also supports some extensions to Prolog including constraint programming over a finite
  • P# is a Prolog interpreter written for the Common Language In
  • The runtime library provides an embeddable Prolog interpreter without any user interface.
  • Strawberry Prolog is a dialect of the Prolog programming languag
  • Jekejeke Prolog is an interpreter only implementation of Prolo
  • The main idea of Strawberry Prolog is to be very easy to use and that is why some
  • Visual Prolog is compiled rather than interpreted, as is tra
  • Strawberry Prolog is produced by the Institute of Mathematics an
  • λProlog, also written lambda Prolog, is a logic programming language featuring pol
  • In it, a database of facts (a la Prolog) is augmented with a set of procedures called
  • rsion 7 of Internet Explorer, in which the XML prolog is simply ignored.
  • or of the SLD resolution procedure used in the Prolog logic programming language.
  • OCL, Prolog) or, alternatively, in Java.
  • Giovanni Torrero, VISUAL PROLOG PER PRINCIPIANTI Italian 113 pages (pdf)
  • The built-in Prolog predicate \\+/1 provides negation as failure,
  • The built-in Prolog predicate \+/1 provides negation as failure, w
  • An introduction to logic programming through Prolog, Prentice Hall International Series in Compute
  • XSB is the name of a dialect of the Prolog programming language and its implementation de
  • e published well known and influential book on Prolog programming: The Craft of Prolog (ISBN 0-262-1
  • Prolog programs can create any .NET object.
  • Progol allows arbitrary Prolog programs as background knowledge and arbitrary
  • Addresses the fact that pure Prolog programs are likely to include Lisp-like isles
  • ses and class hierarchies to be created within Prolog programs.
  • en developed for Java (JavaSpaces), Lisp, Lua, Prolog, Python, Ruby, Smalltalk, Tcl, and the .NET fr
  • Through Prolog Research Corporation, his Central Intelligence
  • From the Prolog side, thanks to the JavaLibrary library, any J
  • , dynamicity, and extensibility, such as Lisp, Prolog, Smalltalk, Self, Factor, Oz, Obliq, Cecil, Dy
  • wing and JDBC can be directly used from within Prolog, straightforwardly enhancing tuProlog with gra
  • Most Prolog systems ship with at least one constraint solv
  • ce whereby the developer can execute and debug Prolog texts.
  • Horn logic is the basis of Prolog, the most widely used logic programming langua
  • For example, in Prolog, the infix operator ":-" is non-associative, s
  • Constraint logic programming extends Prolog to include concepts from constraint satisfacti
  • sequential logic programming language based on Prolog, used in the ICOT Fifth generation computer pr
  • While Prolog uses punctuation - namely ; - for disjunction
  • ge by Kazunori Ueda), making it a parallelised Prolog variant.
  • rticular the root element may be preceded by a prolog, which itself may consist of an XML declaratio
  • XSB extends Prolog with tabled resolution and HiLog (a standard e