Re: AI Utility
Well, I could have the script only grab text files that begin with 'AI_' (AI_*.txt), but the problem is I'm not sure how I could chop off the 'AI_' part and replace it with '%dirname%_'.
I could make a perl script to do this pretty easily, it's just I'm not sure about the extent that Win NT/2k/XP natively support perl. A quick google search hasn't got me much...
I'll take a look into it more tomorrow, but right now I have to sleep, then wake up in the morning, go over a proof of the Completeness and Compactness Theorems of First-Order Languages, then write up a quick enumeration scheme for formulae of a First-Order Language a la the scheme used by Gödel. Something like prime(n) = nth prime number, an (a name in the language) = prime(n), (kth function of i parameters)ƒik = prime(1)^k * prime(2)^i, (mth relational symbol between j terms) Pjm = prime(3)^m * prime(4)^j, then combining them all together is a huge long product... bleh. What I just typed isn't right, but it's somewhere in the ballpark, I'm too tired...
__________________
GEEK CODE V.3.12: GCS/E d-- s: a-- C++ US+ P+ L++ E--- W+++ N+ !o? K- w-- !O M++ V? PS+ PE Y+ PGP t- 5++ X R !tv-- b+++ DI++ D+ G+ e+++ h !r*-- y?
SE4 CODE: A-- Se+++* GdY $?/++ Fr! C++* Css Sf Ai Au- M+ MpN S Ss- RV Pw- Fq-- Nd Rp+ G- Mm++ Bb@ Tcp- L+
|
Threaded Mode