@InProceedings{SchulzeKr90, title = "{CS}-{P}rolog -- {P}arallel programming in logic with transputers", author= "Schulze-Kremer, Steffen", editor= "Turner, Stephen J.", pages = "97--110", booktitle= "{OUG}-12: {T}ools and {T}echniques for {T}ransputer {A}pplications", isbn= "90 5199 029 4", year= "1990", month= "mar", abstract= "This paper describes the parallel features of CS-Prolog, an extension of standard Prolog languages. CS-Prolog employs the local virtual time concept and allows parallel evaluation of several Prolog goals making use of a variable number of transputers on an IBM-AT compatible. Further, written in CS-Prolog a program MolSIM is presented, that can carry out knowledge-based simulation of molecularbiological regulatory processes." }