A formalisation of novices' errors in Prolog programs

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

A characterisation of faults in systems

Ezhilchelvan, P.D.
Shrivastava, S.K.
Elphick, M.J. (eds.)
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(206) / BLDSC - British Librar...

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

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

Automated diagnosis of Prolog control flow errors A first evaluation

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

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:3267.783(OU-IET-CITE--55) / BLDSC - ...

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

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

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

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

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 plea for errors

Feinstein, C.H.
Thomas, M.
Oxford Univ. (United Kingdom)

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:3597.9143(no 41) / BLDSC - British Li...

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

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

Development of a PROLOG-based expert system in civil engineering

Davey-Wilson, I
Oxford Polytechnic (United Kingdom). Expert Systems Interest Group

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:7578.603(OP-ESIG-R--183) / BLDSC - B...

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

A characterisation of faults in systems

Ezhilchelvan, P.D.
Shrivastava, S.K.
Elphick, M.J. (eds.)
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(206) / BLDSC - British Librar...

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

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

Automated diagnosis of Prolog control flow errors A first evaluation

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

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:3267.783(OU-IET-CITE--55) / BLDSC - ...

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

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

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

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

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 plea for errors

Feinstein, C.H.
Thomas, M.
Oxford Univ. (United Kingdom)

January 2001

SIGLEAvailable from British Library Document Supply Centre-DSC:3597.9143(no 41) / BLDSC - British Li...

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

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

Development of a PROLOG-based expert system in civil engineering

Davey-Wilson, I
Oxford Polytechnic (United Kingdom). Expert Systems Interest Group

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:7578.603(OP-ESIG-R--183) / BLDSC - B...

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

A characterisation of faults in systems

Ezhilchelvan, P.D.
Shrivastava, S.K.
Elphick, M.J. (eds.)
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(206) / BLDSC - British Librar...

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

Abstract

Extracted data

A formalisation of novices' errors in Prolog programs

Abstract

Extracted data

Related items

Related items