My question is pretty similar to Not getting a theory in Aleph for SWI Prolog After trying to induce a theory, I end up getting only single atoms My code(only a
renewcommand
except
taskbar
nodeselector
c++pmr
file-association
non-deterministic
jersey-2.0
cl
didfailwitherror
google-chrome-theme
memory
tlbinf32
black-box
input-field
directadmin
writable
proximitysensor
activitylog
android-tabbed-activity
groovyfx
bcp
tuples
line-breaks
memory-pool
selection-sort
azure-analysis-services
sophoslabs-utm
binary-xml
sc
