Displaying 1 result from an estimated 1 matches for "rulep".
Did you mean:
rules
2004 Feb 12
1
Porting let* from Common LISP to R
...ng LISP function:
(defun infer (goal subsitution kb)
(if(null kb)
(make-empty-stream)
(let* ((assertion (rename-variable (car kb))) ; *********
(match ([...])))
(if (equal match 'failed)
(infer goal substitutions (cdr kb))
(if (rulep assertion)
(combine-streams ([...]) (infer goal substitutions (cdr kb)))
(cons-stream match (infer goal substitutions (cdr kb))))))))
A straighforward R-translation would be
infer<-function(goal,subsitution,kb) {
if(is.null(kb)) make-empty-stream()
else...