Intelligent control for Prolog

Author

Nam, Y.K. ; Kyusang Shin

Author_Institution

Software Dev. Autom. Lab., Syst. Eng. Res. Inst., Taejon, South Korea

Volume

1

fYear

1993

fDate

19-21 Oct. 1993

Firstpage

369

Abstract

We propose an extension to Prolog called the count term for controlling Prolog execution. The purpose is to allow the programmers as well as the users to have greater flexibility in controlling the execution behavior of Prolog programs and for limiting the number of answers retrieved when Prolog is used as a database query language. Both syntax and operational semantics of the count term are defined. We analyze the possible meanings one might associate with the count term. The possible replacement of cut and fail by the count term is presented. The ease of analysis of programs with count terms is discussed.<>

Keywords

PROLOG; computational linguistics; query languages; Prolog; Prolog execution; count term; database query language; execution behavior; intelligent control; operational semantics; syntax; Automatic control; Automation; Control systems; Database languages; Information retrieval; Intelligent control; Logic programming; Programming environments; Programming profession; Systems engineering and theory;

fLanguage

English

Publisher

ieee

Conference_Titel

TENCON '93. Proceedings. Computer, Communication, Control and Power Engineering.1993 IEEE Region 10 Conference on

Conference_Location

Beijing, China

Print_ISBN

0-7803-1233-3

Type

conf

DOI

10.1109/TENCON.1993.320004

Filename

320004