Verimliliği artırmak için 'programlarınızı' işlevsel olarak ayrıştırabilecek herhangi bir prolog tercümanı var mı?
Paralogculuk (tipik bir C programcısının "göremediği") ile C'ye yakın hızlara ulaşan prolog tercümanları üzerinde bir araştırma olduğunu biliyorum. Bu konu hakkında daha fazla bilgi sahibi olan var mı?