Institutional Repository

Browsing by Subject "Logic programming"

Browsing by Subject "Logic programming"

Sort by: Order: Results:

  • 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 ...
  • Logics of belief 
    Viljoen, Elizabeth (1997-04)
    The inadequacy of the usual possible world semantics of modal languages when the meaning of 'belief' is attached to the modal operator is discussed. Three other approaches are then investigated. In the case of Moore's ...
  • Modal satisifiability in a constraint logic environment 
    Stevenson, Lynette (2009-08-25)
    The modal satisfiability problem has to date been solved using either a specifically designed algorithm, or by translating the modal logic formula into a different class of problem, such as a first-order logic, a ...

Search UnisaIR

Browse

My Account