Browsing South African Computer Journal (SACJ) by Subject "Logic programming"

Now showing items 1-3 of 3

Efficient evaluation of regular path programs

Wood, PT (South African Institute of Computer Scientists and Information Technologists, 1992)

The next generation of query languages for database systems should have the ability to express recursive queries, the efficient evaluation of which will be crucial to the success of these systems. One such query language ...
HILOG - a higher order logic programming language

Paterson-Jones, RA; Wood, PT (South African Computer Society (SAICSIT), 1992)

HILOG is a new logic programming language with a higher-order syntax allowing the elegant expression of many tasks requiring meta-predicates in Prolog. We are in the process of developing a compiler and programming environment ...
Logic programming: ideal vs practice

Labuschagne, W.A.; Van der Westhuizen, PL (South African Computer Society (SAICSIT), 1992)

The logician who encounters logic programming expects it to involve 'using predicate logic as a programming language'. He is soon disillusioned. He discovers that it really means 'programming in PROLOG', which in tum seems ...

Search UnisaIR