<--- Back to Details
First PageDocument Content
XSB / Prolog / Logic programming / Definite clause grammar / Qi / Memoization / Subroutine / Computer programming / Computing / Software engineering
Date: 2013-07-04 05:07:49
XSB
Prolog
Logic programming
Definite clause grammar
Qi
Memoization
Subroutine
Computer programming
Computing
Software engineering

The XSB System Version 3.3.x Volume 1: Programmer’s Manual

Add to Reading List

Source URL: xsb.sourceforge.net

Download Document from Source Website

File Size: 2,49 MB

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