Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: logic programming and prolog
RP923
1998 Research Paper
Castro,A
;
Robertson,DS
; Muetzelfeldt,R
Domain-specific synthesis of simulation models