<--- Back to Details
First PageDocument Content
Logic programming / Prolog / Definite clause grammar / Logic Programming Associates / Predicate / Occurs check / Append / Backtracking / Horn clause / Software engineering / Computing / Computer programming
Date: 2010-09-17 13:36:44
Logic programming
Prolog
Definite clause grammar
Logic Programming Associates
Predicate
Occurs check
Append
Backtracking
Horn clause
Software engineering
Computing
Computer programming

Microcomputer PROLOG implementations: The state-of-the-art by HAL BERGHEL and RICHARD RANKIN

Add to Reading List

Source URL: www.customer_service.trusted.secure.server.bestandmostsecureonlinebankinamerica.myfavoritebank.com.berghel.com

Download Document from Source Website

File Size: 631,07 KB

Share Document on Facebook

Similar Documents

Linguistics / Philosophy of language / Syntax / Semantics / Pragmatics / Parts of speech / Grammar / Referent / Referring expression / Definiteness / Relative clause / Coreference

The Discourse Structuring Potential of Definite Noun Phrases in Romanian Sofiana Chiriacescu () Department of Linguistics, Kepler StrStuttgart, Germany Klaus von Heusi

DocID: 1r8qf - View Document

Software engineering / Computer programming / Theoretical computer science / Logic programming / Logic in computer science / Prolog / Definite clause grammar / Partial evaluation / Unification / Horn clause / Futures and promises

ISBNISRN SICS/DSE An Automatic Partial Evaluator for Full Prolog

DocID: 1qGXO - View Document

Software engineering / Formal languages / Computer programming / Declarative programming / Datalog / CYK algorithm / Definite clause grammar / Parsing / Logic programming / Prolog / Parse tree / Categorial grammar

Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3

DocID: 1q4Hy - View Document

Prolog / Definite clause grammar / Logic programming / Inference / Negation as failure / Append / Fril / Prolog syntax and semantics / Software engineering / Computing / Computer programming

Learn Prolog Now! Patrick Blackburn Johan Bos Kristina Striegnitz ­

DocID: 13UaK - View Document

Constraint programming / Formal languages / Prolog / Logic programming / Logtalk / Definite clause grammar / ECLiPSe / Unification / String / Software engineering / Computing / Computer programming

SWI-Prolog version 7 extensions Jan Wielemaker Web and Media group, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands,

DocID: 13U7X - View Document