Name: Robert Carl Schrag, Ph.D.
Type: User
Company: Available
Bio: Full-stack logical and probabilistic knowledge representation and reasoning applied scientist. Convert to Clojure after decades in Lisp.
Location: Remote (Las Vegas, NV USA)
Blog: https://sites.google.com/site/robertcschrag/home/resume?authuser=0
Robert Carl Schrag, Ph.D.'s Projects
Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some extra goodies.
Rich token-based pattern matching for Clojure. Match a template like "do *action with *resource" against an input string like "Do good you can with what you have.", binding '*action' to "good you can", '*resource' to "what you have". User-definable components and other language constructs to help avoid pattern component duplication.