Collaborated with:
C.Halatsis E.Pelecanos
Talks about:
prolog (3) versatil (1) parallel (1) abstract (1) support (1) program (1) modular (1) system (1) semant (1) import (1)
Person: Isambo Karali
DBLP: Karali:Isambo
Contributed to:
Wrote 3 papers:
- SAC-1994-KaraliH #data type #parallel #prolog
- Abstract data type support in Prolog and its relation to parallelism (IK, CH), pp. 415–419.
- SAC-1993-KaraliPH #prolog
- A Versatile Module System for Prolog Mapped to Flat Prolog (IK, EP, CH), pp. 578–585.
- TAPSOFT-1995-KaraliH #composition #logic programming #refinement #semantics
- A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics (IK, CH), pp. 486–500.