Prolog compared with Lisp

A formalisation of novices' errors in Prolog programs

Fung, P
Open Univ., Milton Keynes (United Kingdom). Inst. of Educational Technology

January 1988

Available from British Library Document Supply Centre- DSC:3267.783(OU-IET-CITE--50) / BLDSC - Briti...

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

1: A guide to version 3 of DEC-10 PROLOG: 2: PROLOG debugging facilities

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

January 1980

1.20SIGLELD:3511.636(DAI-OP--19) / 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

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

IC-PROLOG language features

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

January 1981

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

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

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 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

An initial taxonomy of novices' misconceptions of the Prolog interpreter

Fung, P.
DuBoulay, B.
Elsom-Cook, M
Open University, Milton Keynes (United Kingdom). Computer Assisted Learning Research Group

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:2952.68(OU-CALRG-TR--69) / BLDSC - B...

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...

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

The LispKit manual Volume 1

Henderson, P.
Jones, G.A.
Jones, S.B.
Oxford Univ. (UK). Computing Lab.

January 1983

SIGLELD:8671.22(PRG--32vol.1) / 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 formalisation of novices' errors in Prolog programs

Fung, P
Open Univ., Milton Keynes (United Kingdom). Inst. of Educational Technology

January 1988

Available from British Library Document Supply Centre- DSC:3267.783(OU-IET-CITE--50) / BLDSC - Briti...

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

1: A guide to version 3 of DEC-10 PROLOG: 2: PROLOG debugging facilities

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

January 1980

1.20SIGLELD:3511.636(DAI-OP--19) / 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

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

IC-PROLOG language features

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

January 1981

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

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

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 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

An initial taxonomy of novices' misconceptions of the Prolog interpreter

Fung, P.
DuBoulay, B.
Elsom-Cook, M
Open University, Milton Keynes (United Kingdom). Computer Assisted Learning Research Group

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:2952.68(OU-CALRG-TR--69) / BLDSC - B...

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...

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

The LispKit manual Volume 1

Henderson, P.
Jones, G.A.
Jones, S.B.
Oxford Univ. (UK). Computing Lab.

January 1983

SIGLELD:8671.22(PRG--32vol.1) / 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 formalisation of novices' errors in Prolog programs

Fung, P
Open Univ., Milton Keynes (United Kingdom). Inst. of Educational Technology

January 1988

Available from British Library Document Supply Centre- DSC:3267.783(OU-IET-CITE--50) / BLDSC - Briti...

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

1: A guide to version 3 of DEC-10 PROLOG: 2: PROLOG debugging facilities

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

January 1980

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

Prolog compared with Lisp

Abstract

Extracted data

Prolog compared with Lisp

Abstract

Extracted data

Related items

Related items