IC-PROLOG language features

Programming in PROLOG An in-depth study of problems for beginners learning to program in PROLOG

Taylor, J.A

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:DX85610 / BLDSC - British Library Do...

A Prolog-based tool for grammar analysis of Western European languages

Wusteman, J
Barchan, J.
Exeter Univ. (United Kingdom). Dept. of Computer Science

January 1988

Available from British Library Document Supply Centre- DSC:9350.1073(EU-DCS-WPW--171) / BLDSC - Brit...

PARLOG A parallel logic programming language

Clark, K.L.
Gregory, S.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1983

SIGLELD:7056.15(DOC--83/5) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Prolog as logic programming language

Kowalski, R.A.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/26). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Prolog A language for implementing expert systems

Clark, K.L.
McCabe, F.G.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1980

SIGLELD:7056.15(DOC--80/21). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A portable Prolog compiler

Bowen, D.L.
Byrd, L.M.
Clocksin, W.F.
Edinburgh Univ. (UK). Dept. of Artificial Intelligence

January 1983

SIGLELD:3511.638(DAI-RP--195) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Prolog on the DEC-system-10

Warren, D.
Edinburgh Univ. (UK). Dept. of Artificial Intelligence

SIGLELD:3511.638(DAI-RP--127) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Abstract PROLOG machine - a specification

McCabe, F.G.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1983

SIGLELD:7056.15(DOC--83/12) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A micro-Prolog primer

Clark, K.L.
Ennals, J.R.
McCabe, F.G.
Logic Programming Associates Ltd., London (UK)

January 1982

SIGLELD:83/05837(Micro) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

PRELOG - a tool for the incorporation of presentation details into PROLOG programs

Johnson, C.
Harrison, M
York Univ. (United Kingdom). Dept. of Computer Science

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:7624.255(YCS--131) / BLDSC - British...

Getting started with PARLOG (Dec-10 PROLOG version)

Gregory, S.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1983

SIGLELD:7056.15(DOC--83/28) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Prolog compared with Lisp

O'Keefe, R.A.
Edinburgh Univ. (UK). Dept. of Artificial Intelligence

January 1982

1.75SIGLELD:3511.638(DAI-RP--180) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Focal structures and information types in Prolog

Romero Mares, J.P.

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN041206 / BLDSC - British Library D...

User's guide to DEC system-10 PROLOG

Pereira, L.M.
Pereira, F.N.
Warren, D.H.D.
Edinburgh Univ. (UK). Dept. of Artifical Intelligence

January 1979

2.35SIGLELD:3511.636(DAI-OP--15) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A proposed instruction set for a prolog machine

Crammond, J.A.
Leeds Univ. (UK). Dept. of Computer Studies

SIGLELD:7621.07(177) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Programming in PROLOG An in-depth study of problems for beginners learning to program in PROLOG

Taylor, J.A

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:DX85610 / BLDSC - British Library Do...

A Prolog-based tool for grammar analysis of Western European languages

Wusteman, J
Barchan, J.
Exeter Univ. (United Kingdom). Dept. of Computer Science

January 1988

Available from British Library Document Supply Centre- DSC:9350.1073(EU-DCS-WPW--171) / BLDSC - Brit...

PARLOG A parallel logic programming language

Clark, K.L.
Gregory, S.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1983

SIGLELD:7056.15(DOC--83/5) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Prolog as logic programming language

Kowalski, R.A.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/26). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Prolog A language for implementing expert systems

Clark, K.L.
McCabe, F.G.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1980

SIGLELD:7056.15(DOC--80/21). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A portable Prolog compiler

Bowen, D.L.
Byrd, L.M.
Clocksin, W.F.
Edinburgh Univ. (UK). Dept. of Artificial Intelligence

January 1983

SIGLELD:3511.638(DAI-RP--195) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Prolog on the DEC-system-10

Warren, D.
Edinburgh Univ. (UK). Dept. of Artificial Intelligence

SIGLELD:3511.638(DAI-RP--127) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Abstract PROLOG machine - a specification

McCabe, F.G.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1983

SIGLELD:7056.15(DOC--83/12) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A micro-Prolog primer

Clark, K.L.
Ennals, J.R.
McCabe, F.G.
Logic Programming Associates Ltd., London (UK)

January 1982

SIGLELD:83/05837(Micro) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

PRELOG - a tool for the incorporation of presentation details into PROLOG programs

Johnson, C.
Harrison, M
York Univ. (United Kingdom). Dept. of Computer Science

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:7624.255(YCS--131) / BLDSC - British...

Getting started with PARLOG (Dec-10 PROLOG version)

Gregory, S.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1983

SIGLELD:7056.15(DOC--83/28) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Prolog compared with Lisp

O'Keefe, R.A.
Edinburgh Univ. (UK). Dept. of Artificial Intelligence

January 1982

1.75SIGLELD:3511.638(DAI-RP--180) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Focal structures and information types in Prolog

Romero Mares, J.P.

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN041206 / BLDSC - British Library D...

User's guide to DEC system-10 PROLOG

Pereira, L.M.
Pereira, F.N.
Warren, D.H.D.
Edinburgh Univ. (UK). Dept. of Artifical Intelligence

January 1979

2.35SIGLELD:3511.636(DAI-OP--15) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A proposed instruction set for a prolog machine

Crammond, J.A.
Leeds Univ. (UK). Dept. of Computer Studies

SIGLELD:7621.07(177) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Programming in PROLOG An in-depth study of problems for beginners learning to program in PROLOG

Taylor, J.A

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:DX85610 / BLDSC - British Library Do...

A Prolog-based tool for grammar analysis of Western European languages

Wusteman, J
Barchan, J.
Exeter Univ. (United Kingdom). Dept. of Computer Science

January 1988

Available from British Library Document Supply Centre- DSC:9350.1073(EU-DCS-WPW--171) / BLDSC - Brit...

PARLOG A parallel logic programming language

Clark, K.L.
Gregory, S.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1983

SIGLELD:7056.15(DOC--83/5) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

IC-PROLOG language features

Abstract

Extracted data

IC-PROLOG language features

Abstract

Extracted data

Related items

Related items