I barely have 'net access at night. I've improved the situation slightly by switching to a different outlet, but I think the electricity in this building is just too noisy and between 6 and 7, when people get home and start turning on their TVs, my DSL goes out (and there are only four apartments here, so it's not like a huge building.)
So after going around, buying supplies and generally trying to get things to work, I finally gave in and was at least relieved by having *some* connectivity. After I got that done, I had a weird realization about AI::Prolog. The reason I haven't done math is because I want to build the operators into the parser. However, those operators are merely syntactic sugar for regular Prolog predicates. If I get the predicates to work, I have math and I don't have to do much to the parser, though I confess that I'd like to update the parser at a later date.
Once I realized that, I added the is(X,Y) predicate. It took a while to get it to work, but once it did, it made things clearer about how to proceed on the rest of the math. However, in porting this predicate from XProlog, I saw that the original version did not match expected Prolog behavior. In fact, it fails drastically in some cases. I'm going to have to be careful about not blindly porting lest I copy bugs I don't want to copy.
Oh, and I added listing and println(X), too.