博文
The Source Code of MOLOG System
||
The following is a list of selected primary problem solving cases mentioned in the Presentation of OOPSLA04
|
|
|
# Selected Primary Problem Solving Cases
|
|
# =======================================
|
|
#
|
|
Timing: Display the elapsed time for a query;
|
|
file dm_time.lisp
|
|
file dm_time.dat
|
|
file dm_time.cccc
|
|
|
|
RP: An analogical inference mechanism;
|
|
file dm_rp.lisp
|
|
file dm_rp2.pro
|
|
file dm_rp1.pro
|
|
file dm_rp.pro
|
|
file dm_rp2.dat
|
|
file dm_rp1.dat
|
|
file dm_rp.dat
|
|
|
|
Trace: Trace the specified logic mechanisms;
|
|
file dm_trace.lisp
|
|
file dm_trace.dat
|
|
file dm_trace.cccc
|
|
|
|
Context control: Unit, a set of clauses, based reasoning;
|
|
file dm_ccm.lisp
|
|
file dm_ccm.pro
|
|
file dm_ccm.dat
|
|
|
|
Frame: Memory reference locality;
|
|
file frame.lisp
|
|
file frame.pro
|
|
file frame.dat
|
|
|
|
Explanation: Print out details of an inference process;
|
|
file dm_expla.lisp
|
|
file dm_expla.cccc
|
|
file dm_expla.dat
|
|
|
|
Print: Formatted output for logic entities;
|
|
file dm_print.lisp
|
|
file dm_print.cccc
|
|
|
|
A batch program for demonstration of all selected PPS cases.
|
|
file demo.lisp
|
|
file demo.pro
|
|
file demo.dat
|
|
|
|
|
|
# Molog Code
|
|
# =======================================
|
|
#
|
|
file molog.lisp
|
|
|
https://wap.sciencenet.cn/blog-39686-18577.html
上一篇：Some results of MOLOG
下一篇：教学进度
