共 50 条
[42]
PROLOG META-PROGRAMMING WITH SOFT DATABASES
[J].
META-PROGRAMMING IN LOGIC PROGRAMMING,
1989,
:365-381
[46]
A PROGRAMMING SOLUTION TO CERTAIN PROBLEMS WITH LOOPS IN PROLOG
[J].
SIGPLAN NOTICES,
1985, 20 (08)
:32-37
[47]
MProlog: An extension of prolog for modal logic programming
[J].
LOGIC PROGRAMMING, PROCEEDINGS,
2004, 3132
:469-470
[49]
An intelligent tutoring and assessing system for prolog programming
[J].
ARTIFICIAL INTELLIGENCE IN EDUCATION: KNOWLEDGE AND MEDIA IN LEARNING SYSTEMS,
1997, 39
:586-588