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
xcode-workspace
mapdispatchtoprops
sharpdx
inline-formset
cloudinary
rpm-maven-plugin
llvm
chromedp
window-resize
shadermaterial
.net-4.0
linspace
gcc-plugins
word-contentcontrol
android-scrolling
tintcolor
tftp
convexity-defects
lima-vm
dbeaver
jinjava
shift
segmentedcontrol
sendmail
maxscale
metronome
xmonad-contrib
maven-mojo
netbeans-7.4
firebug