小窓モード

プレミアム

ログイン
設定

設定

「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
                                                                                                    


こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2026 GRAS Group, Inc.RSS