共 50 条
- [41] PLEASE - A LANGUAGE COMBINING IMPERATIVE AND LOGIC PROGRAMMING SIGPLAN NOTICES, 1988, 23 (04): : 103 - 110
- [43] GOLOG: A logic programming language for dynamic domains JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 59 - 83
- [45] A PROGRAMMING LOGIC FOR A VERIFIED STRUCTURED ASSEMBLY LANGUAGE LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 403 - 408
- [46] STRUCTURED PROLOG - A LANGUAGE FOR STRUCTURED LOGIC PROGRAMMING SOFTWARE-CONCEPTS AND TOOLS, 1994, 15 (03): : 125 - 145
- [47] Using a logic programming language with persistence and contexts DECLARATIVE PROGRAMMING FOR KNOWLEDGE MANAGEMENT, 2006, 4369 : 38 - +
- [49] PARAMETRIC COMPOSABLE MODULES IN A LOGIC PROGRAMMING LANGUAGE COMPUTER LANGUAGES, 1993, 18 (02): : 105 - 123
- [50] LOGIC PROGRAMMING WITH FUNCTIONS AND PREDICATES - THE LANGUAGE BABEL JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (03): : 191 - 223