Логические Языки - Пролог или Lisp/Smalltalk или что-то еще?

Рискуя тем, чтобы оскорбить некоторых, мне нелегко согласовывать "понятный другим людям, которые любят язык Basic" с любым из языков, которые Вы упомянули. Это не предназначается как критика, но поскольку наблюдение, что каждый из языков Вы упоминаете, имеет стиль и естественную идиому, это очень отличается от того из ОСНОВНЫХ.

• Smalltalk - чистое OO с нуля, обычно (например, Писк) вместе с интегрированной средой, которая является одновременно IDE и временем выполнения. IOW, который Вы вводите Smalltalk VM и работу в нем вместо того, чтобы просто писать тексту, который является "исходным кодом".

• LISP - намного ближе к функциональному программированию (хотя с обязательным подтекстом); префиксная нотация является первым барьером для большинства людей, которым "нравятся" другие языки, но понятие и использование макросов являются намного более существенным.

• Clojure - Комбинация LISP, OO и интеграции JVM делает этого даже менее подобным ОСНОВНОМУ.

• Python и Ruby - Я смешиваю их (рискуя дальнейшими раздражающими вентиляторами также ;-) потому что они - оба язык OO с отличными нотациями, которые возьмут постороннего немного кривой обучения. Использование только для добавления отступа для вложения управления в Python и подобное Perl использование специальных символов в Ruby часто являются точками жалобы вновь прибывшими. Хотя оба могут быть записаны в обязательном стиле, который считали бы нестандартным опытные пользователи.

• Пролог - Это - большинство в отличие от ОСНОВНЫХ из всех упомянутых языков. Все другие языки, которые Вы упомянули, могут быть (ab), используемый в полупроцедурном стиле, но это чрезвычайно невозможно в Прологе. Это требует, чтобы полное понимание, и комфорт с, рекурсия сделало что-либо нетривиальное.

Код, написанный с "собственным диакритическим знаком" на по существу всех этих языках (но особенно Пролог, по моему скромному мнению), использует идиомы и понятия, которые являются вне нормы для стандартного ОСНОВНОГО программирования. Другими словами, если Вы выбираете один из них и затем пишете код "с ОСНОВНЫМ диакритическим знаком", Вы в значительной степени потратили впустую преимущества, которые может предложить язык.

Я полагаю, что всех их стоит изучить для понятий, которые они могут преподавать (или по крайней мере укрепить, в зависимости от Вашего образования). Но подобие Языку X (для широкого спектра значений X) не то, что Вы получите.

Я могу ответить Вам частично

(не Smalltalk/Lisp/Clojure то же? - как Python и рубин? - мудрый семантикой)

Нет, это не. Smalltalk является языком OO с передачей сообщения вместо этого вызовы метода. Lisp является Lisp ;-) Это означает действительно функциональный язык с мощной макро-системой, поддержка OO, которая никогда не замечается на других языках (в CL) и намного больше функций. Закрытие является подобным Шепелявости языком без многих функций Lisp, но хорошей интеграции с JVM. Это не поддерживает оптимизацию последнего вызова, например. И Python или рубин являются классическими обязательными языками OO с некоторой ограниченной функциональной способностью. Отметьте ограниченное слово. Например, Guido не любит функциональное программирование и удалил некоторые функциональные возможности в версии 2.5 и 2.6.

Если Вы знакомый с обязательным процедурным программированием как в Python и Вы хотите изменить свою парадигму, необходимо принять решение тщательно.

Пролог является совсем другим языком. Может быть очень трудно схватить, главным образом потому что это полагается в большой степени на рекурсию, чтобы сделать очень простые задачи. Если Вы действительно желаете, затем дают ему движение. Это может быть очень мощно, потому что это позволяет expess отношениям, и решите сложные проблемы просто, типичными примерами являются Ханойские башни или quicksort. Это изменит способ, которым Вы думаете, который может быть трудным, если Вы привыкли к императивным языкам.

Если Вы интересуетесь Прологом затем существует бесплатная версия Визуального доступного Пролога, и коммерческая версия по умеренной цене.

Это - сильное ответвление типа Пролога, так не Ваша классическая реализация языка, но имеет респектабельную историю - Borland продала предка DOS его как Turbo Prolog назад в конце 80-х.

Это - также Windows только, но может использоваться для создания стандартного Windows DLLs, таким образом, можно связать код на 'нормальный' язык программирования окон. Я никогда не использовал пакет в гневе сам, но я сделал несколько курсов Пролога в Uni, так загружали его время от времени, чтобы играть с и искать возможные применения, и это выглядит достаточно твердым. Мог бы быть просто набор шестеренок, которые Вы ищете.