「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会員(無料)になると
|