ICLP 1990 | Sciweavers

29

ICLP
1990
Springer

93views Automated Reasoning» more ICLP 1990»

Extending Definite Clause Grammars with Scoping Constructs

14 years 3 months ago

Definite Clause Grammars (DCGs) have proved valuable to computational linguists since they can be used to specify phrase structured grammars. It is well known how to encode DCGs i...

Remo Pareschi, Dale Miller

claim paper

Read More »

29

click to vote

ICLP
1990
Springer

94views Automated Reasoning» more ICLP 1990»

Parallel Logic Programming Systems

14 years 3 months ago

Download www.dcc.fc.up.pt

Jacques Chassin de Kergommeaux

claim paper

Read More »

21

click to vote

ICLP
1990
Springer

123views Automated Reasoning» more ICLP 1990»

Logic Programs with Classical Negation

14 years 3 months ago

Download www.cs.uni-potsdam.de

Michael Gelfond, Vladimir Lifschitz

claim paper

Read More »

33

click to vote

ICLP
1990
Springer

116views Automated Reasoning» more ICLP 1990»

Kernel Andorra Prolog and its Computation Model

14 years 3 months ago

Download www.sics.se

The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...

Seif Haridi, Sverker Janson

claim paper

Read More »

32

click to vote

ICLP
1990
Springer

76views Automated Reasoning» more ICLP 1990»

On Warren's Method for Functional Programming in Logic

14 years 3 months ago

Download webhome.cs.uvic.ca

Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...

Mantis H. M. Cheng, Maarten H. van Emden, B. E. Ri...

claim paper

Read More »

29

click to vote

ICLP
1990
Springer

139views Automated Reasoning» more ICLP 1990»

Logic Programming and Databases

14 years 3 months ago