Search found 2 matches
- Fri Aug 05, 2016 1:12 pm
- Forum: Common Lisp
- Topic: Name clash with EXT::EXECUTE
- Replies: 1
- Views: 7030
Name clash with EXT::EXECUTE
I'm reviving the classic Boyer-Moore theorem prover, "nqthm", from the 1992 sources. It almost works with "clisp", but there's a name clash. Following directions from ftp://ftp.cs.utexas.edu/pub/boyer/nqthm/nqthm-1992/README , I get the following error: (load-nqthm) ;; Loading fi...
- Wed Aug 03, 2016 3:55 pm
- Forum: Common Lisp
- Topic: Package locking problem with old code from nqthm
- Replies: 0
- Views: 8716
Package locking problem with old code from nqthm
I'm trying to revive the original Boyer-Moore theorem prover, last updated in 1992. I'm using clisp on Ubuntu 14.04 LTS. Source is at ftp://ftp.cs.utexas.edu/pub/boyer/nqthm/nqthm-1992 . It almost works; there's only one small problem. I'm getting what seems to be a name clash during loading, on the...