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
wildfly-11
bazel-rules
qt-creator
concept
zend-guard
shortcode
toit
n-dimensional
sql-macro
hashable
galaxy
mariadb-connect-engine
vue-quill-editor
ofx
hacker-news-api
hbm2ddl
html.listboxfor
openssl-engine
api-versioning
ioref
symfony-cache
natvis
bitcoinjs-lib
sony-smartwatch
crawlera
ucanaccess
tgmath
gal
function-signature
uiwebview