HOME > Detail View

Detail View

Techniques of Prolog programming : with implementation of logical negation and quantified goals

Techniques of Prolog programming : with implementation of logical negation and quantified goals (Loan 6 times)

Material type
단행본
Personal Author
Van Le, T.
Title Statement
Techniques of Prolog programming : with implementation of logical negation and quantified goals / T. van Le.
Publication, Distribution, etc
New York :   Wiley,   c1993.  
Physical Medium
xviii, 601 p. : ill. ; 24 cm. + 2 computer disks (3 1/2 in.)
ISBN
047157175X (paper)
General Note
System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.  
Bibliography, Etc. Note
Includes bibliographical references (p. 585-593) and index.
Subject Added Entry-Topical Term
Prolog (Computer program language) Negation (Logic)
000 00897camuuu200253 a 4500
001 000000518275
003 OCoLC
005 19970530123735.0
008 920814s1993 nyua b 001 0 eng
010 ▼a 92030399
020 ▼a 047157175X (paper)
040 ▼a DLC ▼c DLC
049 ▼a ACSL ▼l 421116030
050 0 0 ▼a QA76.73.P76 ▼b V36 1993
082 0 0 ▼a 005.13/3 ▼2 20
090 ▼a 005.133 ▼b V259t
100 1 ▼a Van Le, T.
245 1 0 ▼a Techniques of Prolog programming : ▼b with implementation of logical negation and quantified goals / ▼c T. van Le.
260 ▼a New York : ▼b Wiley, ▼c c1993.
300 ▼a xviii, 601 p. : ▼b ill. ; ▼c 24 cm. + ▼e 2 computer disks (3 1/2 in.)
500 ▼a System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.
504 ▼a Includes bibliographical references (p. 585-593) and index.
650 0 ▼a Prolog (Computer program language)
650 0 ▼a Negation (Logic)

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.133 V259t Accession No. 421116030 Availability Available Due Date Make a Reservation Service B M
No. 2 Location Sejong Academic Information Center/Science & Technology/ Call Number 005.133 V259t Accession No. 151011830 Availability Available Due Date Make a Reservation Service
No. 3 Location Sejong Academic Information Center/Science & Technology/ Call Number 005.133 V259t Accession No. 151011831 Availability Available Due Date Make a Reservation Service
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.133 V259t Accession No. 421116030 Availability Available Due Date Make a Reservation Service B M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 005.133 V259t Accession No. 151011830 Availability Available Due Date Make a Reservation Service
No. 2 Location Sejong Academic Information Center/Science & Technology/ Call Number 005.133 V259t Accession No. 151011831 Availability Available Due Date Make a Reservation Service

Contents information

Table of Contents

Declarative Prolog Programming.

Procedural Prolog Programming.

Control and Side-Effect Features of Prolog.

Development of Prolog Programs.

Advanced Programming Techniques and Data Structures.

Search Techniques.

Meta-Programming in Prolog.

Building Expert Systems in Prolog.

Natural Language Processing in Prolog.

System Simulation in Prolog.

Appendices.

Bibliography.

Index.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

Ramamurthy, Bina (2021)