Prolog 構文強調ツール

ABAP は SAP の独自のプログラミング言語であり、SAP アプリケーションの開発や SAP システムのカスタマイズに使用されます。

ActionScript 3 は、Adobe Flash Player で使用されるオブジェクト指向プログラミング言語であり、Web アプリケーションやリッチインターネットアプリケーションの開発に使用されます。

Ada は、最初はリアルタイム組み込みシステム向けに設計され、後に他の領域に拡張された構造化された静的型付けプログラミング言語です。

Angular HTML は、Angular フレームワークで使用されるマークアップ言語で、ユーザーインターフェースを構築するために使用されます。HTML を基にしていますが、データバインディングやイベントハンドリングを支援するいくつかの機能が追加されています。

Angular TypeScript は、Angular アプリケーションを構築する際に使用される TypeScript コードです。アプリケーションのコンポーネント、サービス、その他の機能を定義します。

Apache は、Apache HTTP サーバーの構成ファイル形式であり、サーバーの動作と機能を制御します。

Apex は、Salesforce プラットフォームでクラウドアプリケーションを開発するために使用されるオブジェクト指向プログラミング言語です。

APL は、非常にコンパクトで強力な記号的な構文を持つ配列処理用のプログラミング言語です。

AppleScript は、Apple システムでタスクの自動化やスクリプトの作成に使用されるプロプライエタリ言語です。

Ara は、クラウドアプリケーションを記述するために使用される Ara プログラミング言語です。

アセンブリ言語は、異なる CPU アーキテクチャ用の異なるアセンブリ言語を持つ、コンピュータのハードウェア命令セットに直接関連した低レベルのプログラミング言語です。

Astro は、UI フレームワーク（React や Vue）と Markdown や MDX のようなフォーマットを組み合わせて高性能ウェブサイトを構築するためのフルスタックフレームワークです。

AWK は、テキスト処理に使用されるプログラミング言語であり、データの抽出やレポートの生成に一般的に使用されます。

Ballerina は、分散システムやクラウドアプリケーションを記述するために使用されるオープンソースのクラウドネイティブプログラミング言語です。

バッチファイルは、Windows でタスクの自動化に使用されるスクリプトファイル形式です。

Beancount は、二重簿記の財務取引を記録するために使用されるプレーンテキストの会計言語です。

Berry は、小規模なシステムのアプリケーションや構成ファイルを記述するために使用される組み込み解釈型プログラミング言語です。

BibTeX は、参考文献を記述するためのファイル形式であり、LaTeX と一般的に使用されます。

Bicep は、Azure リソースの宣言的な展開に使用されるドメイン固有の言語です。

Blade は、動的な Web ページを構築するための Laravel フレームワークで使用されるテンプレートエンジンです。

C は、システムプログラミングやアプリケーション開発に広く使用される汎用の手続き型プログラミング言語です。

Cadence は、Flow ブロックチェーン用のリソースプログラミング言語で、スマートコントラクトの記述に使用されます。

Clarity は、Stacks ブロックチェーン用のスマートコントラクトプログラミング言語です。

Clojure は、現代の Lisp 方言であり、JVM 上で実行される関数型プログラミング言語です。

CMake は、ソフトウェアのビルドプロセスを管理するために使用されるオープンソースのクロスプラットフォームビルドツールです。

COBOL は、ビジネスデータ処理や金融システムに一般的に使用される古いプログラミング言語です。

CodeQL は、プログラム解析とセキュリティチェックのために使用されるオブジェクト指向クエリ言語です。

CoffeeScript は、JavaScript をベースとしたプログラミング言語であり、Python や Ruby に似た構文で、JavaScript に変換可能です。

C++ は、C 言語の拡張であり、静的型付けの多重パラダイムプログラミング言語であり、システムプログラミングやアプリケーション開発に広く使用されています。

Crystal は、Ruby のような構文を持ちながら性能が向上した新興のシステムプログラミング言語で、効率的なネイティブコードにコンパイルされます。

C# は、最初に Microsoft によって .NET フレームワーク向けに開発された現代のオブジェクト指向プログラミング言語です。

CSS は、ウェブページの表示を記述するために使用されるスタイルシート言語であり、レイアウト、フォント、色などの外観を制御します。

CSV は、タブル形式のデータを格納するために使用される一般的なテキスト形式であり、各行がレコードを表し、列がコンマで区切られます。

CUE は、データモデルを定義して検証するために使用されるオープンソースのデータ制約言語です。

Cypher は Neo4j グラフデータベースのクエリ言語であり、グラフデータの作成、クエリ、更新に使用されます。

D は、C++ および他の言語の最良の機能を組み合わせたシステムプログラミング言語であり、高性能なプログラミングモデルを提供します。

Dart は、Google によって開発されたオープンソースの汎用プログラミング言語であり、ウェブ、モバイル、デスクトップアプリケーションに使用されます。

DAX は、Microsoft SQL Server Analysis Services のクエリ言語であり、多次元データのクエリと計算に使用されます。

Diff フォーマットは、ファイルやテキストの異なりを比較するためのフォーマットです。

Dockerfile は、Docker イメージを作成するために使用される形式であり、イメージの内容と構成を定義します。

Dream Maker は、マルチユーザー・ダンジョン (MUD) シナリオを作成するために使用されるコードプログラミング言語およびツールです。

Elixir は、Erlang 仮想マシン上で実行される関数型プログラミング言語であり、スケーラブルで非常に並行性の高いアプリケーションを構築するために使用されます。

Elm は、信頼性の高いウェブフロントエンドアプリケーションを構築するために使用される関数型プログラミング言語です。

ERB は、Ruby で Ruby コードを埋め込むためのマークアップ言語であり、動的なテキストやウェブページを生成するために一般的に使用されます。

Erlang は、分散コンピューティング、障害耐性、およびホットコードローディングなどの機能をサポートする一般目的の並行関数型プログラミング言語です。

Fish は、柔軟で読みやすい構文を持つユーザーフレンドリーなコマンドラインシェルです。

固定フォーマットの Fortran は、Fortran プログラミング言語の伝統的なフォーマットであり、コードの各行が固定された列に制限されています。

自由フォーマットの Fortran は、より柔軟なコードレイアウトを許可する Fortran の新しい構文です。

F# は、.NET 生態系向けに設計された多重パラダイムの関数型ファーストプログラミング言語です。

GDResource は、Godot ゲームエンジンでゲームオブジェクトとリソースを定義するために使用されるファイル形式です。

GDScript は、Godot ゲームエンジンの組み込みスクリプト言語であり、Python に似た構文を持ちます。

GDShader は、Godot ゲームエンジンでシェーダーを記述するために使用される形式です。

Gherkin は、振る舞い駆動開発（BDD）に使用される言語であり、ソフトウェアの振る舞いシナリオとユースケースを定義します。

Git コミットメッセージは、コード変更を記述するために Git バージョン管理システムで使用される形式です。

Git リベースメッセージは、git rebase コマンドを使用する際に表示される形式であり、コミットログを編集するために使用されます。

Gleam は、信頼性の高い高度に並行性の高いシステムを記述するために使用される関数型プログラミング言語です。

Glimmer JS は、ウェブ UI を構築するために使用される Glimmer レンダリングエンジンの JavaScript バージョンです。

Glimmer TS は、Glimmer レンダリングエンジンの TypeScript バージョンです。

GLSL は、GPU 上で実行されるグラフィックスレンダリングプログラムを記述するために使用される OpenGL シェーディング言語です。

Gnuplot は、コマンドライン駆動の対話型データおよび関数プロットツールです。

Go は、Google によって開発されたオープンソースの静的型付けプログラミング言語であり、システムと並行プログラミングをサポートしています。

GraphQL は、API 用のクエリ言語であり、データを効率的にクエリする方法を提供します。

Groovy は、Java 仮想マシン向けのオブジェクト指向プログラミング言語であり、関数型プログラミングもサポートしています。

Hack は、信頼性の高い高性能なウェブアプリケーションを構築するために Facebook によって開発されたプログラミング言語です。

Haml は、HTML を生成するための簡潔な構文を提供する Ruby のテンプレートエンジンです。

Handlebars は、ウェブテンプレート用に使用される意味論的なテンプレーティングライブラリです。

Haskell は、遅延評価をサポートする標準の純粋関数型プログラミング言語です。

HCL は、Terraform、Packer などの HashiCorp 製品の構成に使用される HashiCorp 構成言語です。

Hjson は、JSON よりもフレンドリーで人間に読みやすいデータ形式です。

HLSL は、DirectX の High-Level Shading Language であり、GPU をプログラムするために使用されます。

HTML は、ウェブページを構築するための標準的なマークアップ言語です。

HTML 派生言語は、Vue、Svelte などの HTML の上に構築された新しい言語です。

HTTP は、分散、共同作業、ハイパーメディア情報システムに使用されるアプリケーション層プロトコルです。

Imba は、Ruby にインスパイアされた Ruby ライクな構文を持つ言語であり、効率的な JavaScript にコンパイルされます。

INI は、構成ファイルに一般的に使用されるシンプルなキー値ペアファイル形式です。

Java は、広く使用されているオブジェクト指向プログラミング言語であり、他のプログラミングパラダイムもサポートしています。

JavaScript は、ウェブブラウザで複雑なロジックを実行できるプログラミング言語です。

Jinja は、一般的な Python テンプレートエンジンであり、他の言語でも使用されます。

Jison は、Node.js 用のパーサージェネレータツールです。

JSON は、人間が読み書きしやすい軽量なデータ交換形式です。

JSON5 は、JSON の上位互換であり、より人間にやさしく、コメントやシングル／ダブルクォートなどをサポートしています。

JSON with Comments は、JSON にコメントを追加できるよう拡張された形式です。

JSON Lines は、行ベースの形式で構造化されたデータを格納するために使用される形式です。

Jsonnet は、設定データを管理するために使用されるデータ記述言語です。

JSSM は、セキュアシェルのセッションファイル形式です。

JSX は、React で使用される XML ライクな構文です。

Julia は、科学的計算、機械学習などに適した高性能な動的高水準プログラミング言語です。

Kotlin は、Java 仮想マシン上で実行されるモダンな静的型付きプログラミング言語です。

Kusto は、Microsoft のログとデータ分析のためのクエリ言語です。

LaTeX は、科学的文書や出版物に一般的に使用される高品質な組版システムです。

Less は、変数、ミックスインなどの機能を備えた CSS を拡張した動的なスタイルシート言語です。

Liquid は、Shopify によって作成されたテンプレート言語です。

Lisp は、多くの方言があり、Common Lisp などがある汎用の関数型プログラミング言語です。

Logo は、子供向けの教育用プログラミング言語です。

Lua は、ゲーム開発で一般的に使用される軽量で埋め込み可能なスクリプト言語です。

Makefile は、ソフトウェアのビルドに使用されるファイル形式です。

Markdown は、整形されたテキストを作成するために使用される軽量のマークアップ言語です。

Marko は、UI コンポーネントと高性能なウェブアプリケーションを構築するために使用されるテンプレート言語です。

MATLAB は、アルゴリズム開発、データ可視化などに使用される高水準のプログラミング言語および数値計算環境です。

MDC は、色付きの点字テキストをレンダリングするために使用されるマークアップ言語です。

MDX は、Markdown の拡張であり、Markdown 内に JSX 構文や React コンポーネントを埋め込むことができます。

Mermaid は、単純なテキスト記述に基づいてグラフィックスやフローチャートを生成するために使用される JavaScript ベースのツールです。

Mojo は、ウェブベースのアプリケーションをロケーションに依存しないコードとしてパッケージ化およびデプロイするために使用される形式です。

Move は、Diem（以前の Libra）ブロックチェーン上でスマートコントラクトを記述するために使用されるリソース指向のプログラミング言語です。

Narrat は、基本的な関数と制御構造を含む、宣言型プログラミングのためのシンプルな言語です。

Nextflow は、ポータブルで再現可能なデータパイプラインとワークフローを構築するために使用されるワークフロー スクリプト言語です。

Nginx の構成ファイルは、Nginx ウェブサーバーの設定に使用されます。

Nim は、パフォーマンス、移植性、およびプログラマの生産性に焦点を当てたシステムおよびアプリケーション プログラミング言語です。

Nix は、ソフトウェアとその依存関係の構成およびデプロイメントに使用される関数型言語です。

Nu Shell は、近代化、使いやすさ、および移植性を重視した新しいクロスプラットフォーム シェルです。

Objective-C は、macOS および iOS アプリケーションを書くために主に使用される汎用のオブジェクト指向プログラミング言語です。

Objective-C++ は、C++ と Objective-C を統合したプログラミング言語で、macOS および iOS で使用されます。

OCaml は、関数型、命令型、およびオブジェクト指向プログラミング スタイルをサポートする関数型プログラミング言語です。

Pascal は、シンプルさと構造化プログラミングを目指して設計された教育用プログラミング言語です。

Perl は、テキスト処理に最初に使用された汎用プログラミング言語で、現在は Web 開発、システム管理などに使用されています。

PHP は、特に Web 開発に適した人気のある汎用スクリプト言語です。

PL/SQL は、Oracle データベースで使用されるストアド プロシージャやトリガーを記述するための手続き型拡張言語です。

PostCSS は、プラグインを使用して CSS を変換するためのツールです。

Power Query は、Microsoft Power BI でのデータの接続、変換、読み込みに使用される言語です。

PowerShell は、Microsoft によって開発されたタスク自動化および構成管理フレームワークです。

Prisma は、TypeScript および Node.js アプリケーションで使用されるオープンソースの ORM で、データベースへのアクセスを簡素化します。

Prolog は、複雑な再帰クエリや人工知能アプリケーションのプログラミングに使用される論理型プログラミング言語です。

Protocol Buffers は、Google によって開発されたクロス言語シリアライゼーションデータ形式です。

Pug（以前は Jade として知られていました）は、Node.js で実装された高性能テンプレート エンジンです。

Puppet は、構成管理およびデプロイメントに使用される宣言型言語です。

PureScript は、効率的な JavaScript コードにコンパイルされる強力な純粋関数型言語です。

Python は、そのシンプルさと幅広い応用範囲で知られる人気のある汎用プログラミング言語です。

R は、統計計算とグラフィックスに使用されるプログラミング言語および環境です。

Raku（以前は Perl 6 として知られていました）は、高度な動的マルチパラダイムプログラミング言語です。

Razor は、ASP.NET で使用されるマークアップ構文で、動的コンテンツを生成するために使用されます。

Windows レジストリ スクリプトは、Windows レジストリエントリのテキスト表現です。

Rel は、高度に一貫性のあるデータクエリを対象としたデータモデリング言語です。

RISC-V は、さまざまなユースケースを対象としたオープンな命令セットアーキテクチャ（ISA）です。

reStructuredText は、技術文書などによく使用される軽量マークアップ言語です。

Ruby は、その簡潔な構文と移植性で知られる汎用プログラミング言語です。

Rust は、安全性とパフォーマンスに焦点を当てたシステムプログラミング言語です。

SAS は、高度なアナリティクス、ビジネスインテリジェンスなどに使用されるプログラミング言語を含むアプリケーションソフトウェアです。

Sass は、変数、ネストされたルールなどの機能を提供する CSS プリプロセッサです。

Scala は、Java 仮想マシン上で実行されるモダンなマルチパラダイムプログラミング言語です。

Scheme は、Lisp ファミリーから派生した関数型プログラミング言語です。

SCSS は、Sass の構文変種であり、CSS プリプロセッシングによく使用される言語です。

ShaderLab は、Unity でシェーダを記述するために使用される言語です。

シェル スクリプトは、Unix システムでタスクを自動化するために使用されるスクリプト言語です。

シェル セッションは、コマンドラインの対話を記録するための形式です。

Smalltalk は、純粋なオブジェクト指向プログラミング言語であり、最初期のオブジェクト指向言語の1つです。

Solidity は、Ethereum ブロックチェーン上でスマート コントラクトを実装するために使用されるオブジェクト指向言語です。

SPARQL（SPARQL Protocol and RDF Query Language）は、Resource Description Framework（RDF）形式で格納されたデータをクエリおよび操作するためのクエリ言語です。Semantic Web データベースからデータをクエリするために一般的に使用されます。

Splunk クエリ言語は、Splunk プラットフォームで機械生成されたデータを分析するために使用される検索およびレポート言語です。ユーザーは、大量のデータを検索、分析、視覚化できます。

SQL（Structured Query Language）は、リレーショナルデータベースを管理および操作するためのドメイン固有言語です。MySQL、PostgreSQL、Oracle などのデータベース管理システムで広く使用されています。

SSH Config は、SSH（Secure Shell）クライアントソフトウェアの設定を指定するために使用される構成ファイルです。ユーザーは、ホスト固有の構成を定義できます。これには、認証方法や接続オプションなどが含まれます。

Stata は、データ分析と可視化に使用される統計ソフトウェアパッケージです。データの操作や統計テストの実行には、コマンドラインインターフェイスとプログラミング言語が提供されています。

Stylus は、カスケーディングスタイルシート（CSS）を生成するために使用されるプリプロセッサスクリプト言語です。その簡潔な構文や変数、ミックスイン、ネストされたルールなどの豊富な機能で知られています。

Svelte は、ユーザーインターフェースを構築するためのコンポーネントベースの JavaScript フレームワークです。開発者は、HTML、CSS、JavaScript を使用してコンポーネントを記述し、それらは高度に最適化された JavaScript コードにコンパイルされます。

Swift は、Apple によって開発されたiOS、macOS、watchOS、tvOS プラットフォームでアプリケーションを構築するための汎用プログラミング言語です。その安全性の機能、パフォーマンス、モダンな構文で知られています。

SystemVerilog は、デジタル回路の設計および検証で使用されるハードウェア記述および検証言語です。Verilog 言語をシステムレベルのモデリング、検証、および設計再利用用の機能で拡張しています。

Tasl は、ソフトウェアテストでテストケースとテスト手順を指定するために使用されるドメイン固有言語です。テストシナリオ、期待される結果、検証基準を定義するための形式的な構文を提供します。

Tcl（Tool Command Language）は、迅速なプロトタイピング、テスト、自動化タスクに一般的に使用されるスクリプト言語です。そのシンプルさ、拡張性、幅広い組み込みコマンドで知られています。

Terraform は、効率的にインフラストラクチャを構築、変更、およびバージョン管理するために使用されるインフラストラクチャとしてのコード（IaC）ツールです。ユーザーは、宣言的な構成ファイルを使用してインフラストラクチャコンポーネントを定義できます。

TeX は、学術論文、書籍、技術レポートなど、複雑なレイアウトの文書を作成するために使用される組版システムです。学術界や出版業界で広く使用されています。

TOML（Tom's Obvious, Minimal Language）は、その単純な構文によって簡単に読み書きできる構成ファイル形式です。ソフトウェアプロジェクトの設定を指定するために一般的に使用されます。

TSV（Tab-Separated Values）は、プレーンテキストでタブ区切りの表形式データを保存するためのファイル形式です。TSV ファイルの各行は、タブで区切られたデータの行を表します。

TSX は、JSX 構文を使用して React コンポーネントを記述するために使用される TypeScript の拡張です。開発者は、JavaScript と XML 様の構文の組み合わせを使用してコンポーネントを記述できます。

Turtle は、Resource Description Framework（RDF）形式でデータを表現するための構文です。Turtle は、簡潔で人間が読みやすい構文を使用して RDF トリプルを表現します。

Twig は、HTML、XML、およびその他のテキストベースのドキュメントを生成するために使用される PHP のテンプレートエンジンです。HTML に似た構文に加えて、テンプレートの継承やマクロなどの追加機能を提供します。

TypeScript は JavaScript のスーパーセットであり、静的型付けなどの機能を言語に追加します。大規模な Web 開発プロジェクトで一般的に使用され、コードの保守性とスケーラビリティを向上させます。

Typst は、タイプセーフなシステムプログラミング向けに設計されたプログラミング言語です。システムリソースの低レベルな制御を維持しながら、高水準言語の安全性と表現力を提供することを目指しています。

V は、シンプルさ、パフォーマンス、セーフティを重視したプログラミング言語です。Go と Python に触発された簡潔な構文を特徴とし、別個のランタイムを必要とせずに高速なネイティブコードにコンパイルされます。

Visual Basic（VB）は、Microsoft によって開発された Windows アプリケーションを構築するためのプログラミング言語です。そのシンプルさと使いやすさで知られており、初心者や迅速なアプリケーション開発に適しています。

Verilog は、デジタル回路の設計およびシミュレーションに使用されるハードウェア記述言語です。半導体産業で広く使用されており、集積回路（IC）やフィールドプログラマブルゲートアレイ（FPGA）の設計に利用されます。

VHDL（VHSIC Hardware Description Language）は、デジタル回路の設計およびシミュレーションに使用されるハードウェア記述言語です。半導体産業で広く使用されており、ASIC や FPGA の設計に使用されます。

Vim Script は、Vim テキストエディタの機能を拡張するために使用されるスクリプト言語です。ユーザーは、カスタムコマンド、マッピング、プラグインを定義してタスクを自動化し、生産性を向上させることができます。

Vue.js は、ユーザーインターフェースを構築するためのプログレッシブな JavaScript フレームワークです。そのシンプルさと柔軟性で知られており、開発者はインタラクティブで反応性のある Web アプリケーションを作成できます。

Vue HTML は、Vue.js で動的でインタラクティブなユーザーインターフェースを作成するために使用されるテンプレート構文です。データバインディングやディレクティブなどの追加機能を備えた HTML ライクなマークアップを開発者に提供します。

Vyper は、Ethereum ブロックチェーン上で安全で監査可能なスマートコントラクトを記述するために設計されたプログラミング言語です。シンプルで制限された構文を提供することで、複雑さを低減しセキュリティを向上させることを目指しています。

WebAssembly（Wasm）は、ウェブ上で高性能なコードを実行するために使用されるバイナリ命令形式です。これにより、C、C++、Rust などの言語で書かれたコードを直接 Web ブラウザで実行できます。

Wenyan は、古典的な中国文学に触発されたプログラミング言語です。中国の文字や成句を構文として使用し、主に教育目的や言語設計の創造的な練習として使用されます。

WGSL（WebGPU Shading Language）は、Web アプリケーションでのグラフィックス処理ユニット（GPU）のプログラミングに使用される低レベルのシェーディング言語です。WebGPU API で実行されるシェーダーを記述するためのモダンで効率的な構文を提供します。

Wolfram Language は、Wolfram Research によって開発された高水準プログラミング言語です。象徴的な計算機能、組み込みの知識ベース、数学、物理学、データサイエンスなどの幅広い分野へのサポートで知られています。

XML（eXtensible Markup Language）は、データの保存や転送に使用されるマークアップ言語です。タグと属性を使用して情報を構造化する方法を提供し、文書や構成ファイルの表現に一般的に使用されます。

XSL（eXtensible Stylesheet Language）は、XML 文書を HTML や PDF などの異なる形式に変換するための言語です。XSLT は XML データを変換するための XPath と、XML 文書の要素をナビゲートおよび選択するための XPath で構成されています。

YAML（YAML Ain't Markup Language）は、人間に読み書きしやすいデータシリアライゼーション形式です。そのシンプルさと読みやすさから、構成ファイルやプログラミング言語間のデータ交換に一般的に使用されます。

ZenScript は、Minecraft ビデオゲームの mod を作成するために使用されるスクリプト言語です。アイテム、ブロック、およびその他のゲーム要素を定義するための簡素化された構文を提供し、モッダーはゲームの機能を拡張およびカスタマイズできます。

Zig は、パフォーマンス、セーフティ、シンプリシティを重視した汎用プログラミング言語です。C に似た構文を特徴とし、コンパイル時のメモリセーフティやエラーハンドリングなどの追加機能を提供します。