共 50 条
- [41] PROLOG META-PROGRAMMING WITH SOFT DATABASES [J]. META-PROGRAMMING IN LOGIC PROGRAMMING, 1989, : 365 - 381
- [45] MProlog: An extension of prolog for modal logic programming [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 469 - 470
- [46] A PROGRAMMING SOLUTION TO CERTAIN PROBLEMS WITH LOOPS IN PROLOG [J]. SIGPLAN NOTICES, 1985, 20 (08): : 32 - 37
- [48] An intelligent tutoring and assessing system for prolog programming [J]. ARTIFICIAL INTELLIGENCE IN EDUCATION: KNOWLEDGE AND MEDIA IN LEARNING SYSTEMS, 1997, 39 : 586 - 588
- [49] PROCEDURALLY ORIENTED PROGRAMMING TECHNIQUES IN PROLOG. [J]. IEEE Expert, 1986, 1 (02): : 41 - 47
- [50] Tutoring Prolog novices based on programming techniques [J]. INTELLIGENT TUTORING SYSTEMS, 1998, 1452 : 404 - 413