|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 3 of 35 found articles
| Title: |
Adding Sequential Conjuctions to Prolog |
| Author: |
Keehang Kwon Sungwoo Hur |
| Appeared in: |
International journal of computer technology and applications |
| Paging: | Volume 01 (2010) nr. 01 pages 01-03 |
| Year: |
2010 |
| Contents: |
Prolog have traditionally lacked de-vices for sequentiality. This limitation can be ad-dressed by using a fragment of Japaridze's com-putability logic. We propose Sprolog, an exten-sion to Prolog with sequential-conjunctive goalformulas. Sprolog extends the LogicWeb by al-lowing goals of the form G G where G is agoal. These goals allow us to specify sequential-conjunctive tasks |
| Publisher: |
Technopark Publications (provided by DOAJ) |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 3 of 35 found articles
| << previous | next >> |