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
structural-pattern-matching
cupertinotabbar
output-redirect
purescript
assignment-problem
expandablelistadapter
sencha-cmd
cocoa-touch
zlib
react-virtual
raw-data
thonny
ssa
tomography-reconstruction
javap
webcrypto
power-apps-custom-connector
imagettftext
affix
azure-deployment-slots
fsm
decidable
convex-optimization
clustering
dpm
exchange-server-2019
infopath
mysql-connector-python
intellitrace
contour
